when x is
    Ok -> 3